div.github-theme code {
  padding: 0 4px;
}
